Multidimensional Region Connection Calculus
نویسندگان
چکیده
The best way to support commonsense reasoning over geographic data is via qualitative spatial reasoning over spatial objects and their relations. The Region Connection Calculus (RCC) (Randell et al. 1992) family is one of the well-known logical languages for formalizing topological relationships that describe commonsense spatial knowledge. In this paper, we modify and extend RCC-8 to propose a topological model accepting multi-dimension geometric features as an input. We will compare the model with the 9Intersection Model (9-IM) in our future work to show that our model offers more flexibility for geographic information systems (GIS).
منابع مشابه
A Necessary Relation Algebra for Mereotopology
We show that the basic operations of the relational calculus on a “contact relation” generate at least 25 relations in any model of the Region Connection Calculus [33], and we show how to interpret these relations in the collection of regular open sets in the two-dimensional Euclidean plane.
متن کاملA representation theorem for Boolean contact algebras
We prove a representation theorem for Boolean contact algebras which implies that the axioms for the Region Connection Calculus [20] (RCC) are complete for the class of subalgebras of the algebras of regular closed sets of weakly regular connected T1 spaces.
متن کاملReasoning about Categories in Conceptual Spaces
Understanding the process of categorization is a primary research goal in artificial intelligence. The conceptual space framework provides a flexible approach to modeling context-sensitive categorization via a geometrical representation designed for modeling and managing concepts. In this paper we show how algorithms developed in computational geometry, and the Region Connection Calculus can be...
متن کاملOn the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus
The computational properties of qualitative spatial reasoning have been investigated to some degree. However, the question for the boundary between polynomial and NP-hard reasoning problems has not been addressed yet. In this paper we explore this boundary in the \Region Connection Calculus" RCC-8. We extend Bennett's encoding of RCC-8 in modal logic. Based on this encoding, we prove that reaso...
متن کاملA relation - algebraic approach to the region connection calculus
We explore the relation–algebraic aspects of the region connection calculus (RCC) of Randell et al. (1992a). In particular, we present a refinement of the RCC8 table which shows that the axioms provide for more relations than are listed in the present table. We also show that each RCC model leads to a Boolean algebra. Finally, we prove that a refined version of the RCC5 table has as models all ...
متن کامل